<?php

trait T {
    public X|Y $prop;
}

class C {
    use T;
}
